2

An automated prover for Zermelo–Fraenkel set theory in Theorema

Year:
2006
Language:
english
File:
PDF, 647 KB
english, 2006